MODEL MERGE CATEGORICALLY : A HOMOGENEOUS MMt SCENARIO VIA ARROWS AND DIAGRAM OPERATIONS
نویسنده
چکیده
Copyright © 2006, Idea Group Inc., distributing in print or electronic forms without written permission of IGI is prohibited. This article (further referred to as Math-I), and the next one (further referred to as Math-II, see p. 359), form a mathematical companion to the article in this encyclopedia on Generic Model Management (further referred to as GenMMt, see p.258 ). Articles Math-I and II present the basics of the arrow diagram machinery that provides model management with truly generic specifications. Particularly, it allows us to build a generic pattern for heterogeneous data and schema transformation, which is presented in Math-II for the first time in the literature.
منابع مشابه
MMINT: A Graphical Tool for Interactive Model Management
Model Management addresses the accidental complexity caused by the proliferation of models in software engineering. It provides a high-level view in which entire models and their relationships (i.e., mappings between models) can be manipulated using transformations, such as match and merge, to implement management tasks. Other model management frameworks focus on support for the programming req...
متن کاملShapely monads and analytic functors
In mathematics and computer science, we often encounter structures which are faithfully encoded by a graphical calculus of the following sort. The basic data of the structure are depicted as certain diagrams; the basic operations of the structure act by glueing together these diagrams along certain parts of their boundaries; and the axioms of the structure are just those necessary to ensure tha...
متن کاملHigher Cospans and Weak Cubical Categories (cospans in Algebraic Topology, I)
We define a notion of weak cubical category, abstracted from the structure of n-cubical cospans x : ∧ → X in a category X, where ∧ is the ‘formal cospan’ category. These diagrams form a cubical set with compositions x +i y in all directions, which are computed using pushouts and behave ‘categorically’ in a weak sense, up to suitable comparisons. Actually, we work with a ‘symmetric cubical struc...
متن کاملHigher Cospans and Weak Cubical Categories ( Cospans in Algebraic Topology , I ) Marco
We define a notion of weak cubical category, abstracted from the structure of n-cubical cospans x : ∧ → X in a category X, where ∧ is the ‘formal cospan’ category. These diagrams form a cubical set with compositions x +i y in all directions, which are computed using pushouts and behave ‘categorically’ in a weak sense, up to suitable comparisons. Actually, we work with a ‘symmetric cubical struc...
متن کاملUnifying the Named Natural Exponential Families and Their Relatives
Five of the six univariate natural exponential families (NEF) with quadratic variance functions (QVF), meaning their variances are at most quadratic functions of their means, are the Normal, Poisson, Gamma, Binomial, and Negative Binomial distributions. The sixth is the NEFCHS, the NEF generated from convolved Hyperbolic Secant distributions. These six NEF-QVFs and their relatives are unified i...
متن کامل